فرزاد دیده ور - دانشگاه صنعتی امیرکبیر

خدمات ویژه: هیئت علمی دانشجویان دانش آموختگان کارکنان

مطالب پایگاه

اعضای هیات علمی

اینترنت

پست الکترونیک

اتوماسیون اداری و مکاتبات

پورتال آموزشی و پژوهشی

سامانه آموزش الکترونیک

مدیریت یادگیری - دروس حضوری

سامانه ارتقای اساتید(اوج)

سامانه جامع نظام پیشنهادها

سامانه یکپارچه کتابخانه‌ها

سامانه مدیریت یکپارچه آموزش کارکنان

دانشگاه صنعتی امیرکبیر

سامانه رزومه

فرزاد دیده ور

استادیار
دانشکده ریاضی و علوم کامپیوتر
گروه آموزشی علوم کامپیوتر

دریافت با فرمت PDF English

پست الکترونیک:

didehvar

aut.ac.ir

شماره تماس:

h-index (Scopus):

10.00

ارجاعات (Scopus):

318

رساله‌های دکتری

عنوان پایان‌نامه

توسط

تاریخ دفاع

ارائه الگوریتم های تقریبی برای مسائلی در حوزه مسیر یابی خود رو VRP

هانیه فلاح اسلاملو

آذر 1399

توسعه مفهوم پوش محدب با در نظر گرفتن زوایای دلخواه

سعید آسعیدی

اسفند 1397

اتخاب پارامترهای مناسب در حیطه الگوریتم های پارامتر ثابت برای برخی از مسائل هندسه محاسباتی

فرنوش خداکرمی

دی 1395

شار ریچی در فضای مترهای ریمانی و برخی کاربردهای آن در علوم کامپیوتر

هاجر قهرمانی گل و اسدالله رضوی

شهریور 1394

مدلسازی و توسعه روش های حل تقریبی کارا برای مساله مسیر یابی باز وسیله نقلیه ناهمگن ثابت

مجید یوسفی خوشبخت و فرهاد رحمتی

اردیبهشت 1393

منطق های چند ارزشی از دیدگاه نظریه مدل و محاسبات

نازنین روشندل توانا و مسعود پورمهدیان

شهریور 1390

پایان‌نامه‌های کارشناسی ارشد

عنوان پایان‌نامه

توسط

تاریخ دفاع

نواقص احتمالی تست تورینگ و ارائه ی برخی راهکارها برای بهبود آن

علی سمیعی

شهریور 1404

تحلیل عملکردی بازیکنان فوتبال برای شناسائی بازیکنان برتر در فاز هجومی و پبش بینی ارزش آن ها

حسین امانی جونقانی

بهمن 1402

یافتن بهترین مسیر حرکت در زمان بیماری پاندمیک

امیرصادق میرگلوی بیات

بهمن 1402

محاسبه پذیری و پیچیدگی محاسباتی منطق پویای گزاره ای

محمدجواد حسین پور

شهریور 1402

ماشین های تورینگ فازی و نقش UTM در آن

نریمان ایمانی جاجرمی

شهریور 1402

حل مسئله مسیریابی فروشنده دوره گرد چندگانه باالگوریتم بهینه سازی ازدحام ذرات و رویکرد نخست خوشه بندی سپس مسیریابی

صدرا امیریزدانی بناب

شهریور 1402

پیاده سازی و مطالعه الگوریتم ها در مسئله ی گالری هنر

شیوا مالکی ورنوسفادرانی و علی محدث خراسانی

اسفند 1400

ارایه یک مدل بهینه برای تبادل خودکار ارز دیجیتال

محمدرضا نامجو و علی محدث خراسانی

مهر 1400

موقعیت یابی بر روی زمین 1.5-بعدی به کمک دیدپذیری نقاط

ستاره حرفی مریدانی و علی محدث خراسانی

مهر 1400

ساخت ملودی برای اشعار فارسی بر اساس آواشناسی

فرشاد جعفری

شهریور 1400

تجزیه و تحلیل شباهت ها در ساختار موسیقی ایرانی به روش هندسی

دانیال عبرت

شهریور 1400

شناسایی چهره با استفاده از نمایش تنک هسته ای در دادهای عظیم

مجتبی امیری رویندزق و محمدحسن شیرعلی شهرضا

تیر 1399

ارائه ی یک الگوریتم بهبود یافته برای حل مسائل رتبه بندی بهینه

صدرا محمدشیرازی

شهریور 1398

محاسبه پذیری در ماشین حالات متناهی

انوش سیاه کار

اسفند 1397

(n)زیگما مجموعه ها و ارتباط آن با مجموعه های شمارش پذیر بازگشتی

علیرضا محمودیان

مهر 1397

پیچیدگی محاسبه یافتن تعادل نش و الگوریتمهای تقریبی

کوشا سمیعی فر

مهر 1397

مدل سازی و محاسبات ازهم گسستگی اجتماعی و استقرار مجدد جامعه

مریم شریعتمداری

اردیبهشت 1397

پیش بینی و تشخیص داکتال کارسینوما و مسایل محاسباتی آن

محمد بوداغی

فروردین 1397

حل مسئله های مسیر یابی وسایل نقلیه محدودیت دار به روش محاسبات کوانتومی

پدرام جعفری قمی

مهر 1396

نهان نگاری داده در پروتکل HTTP/2 بااستفاده از لایه گذاری فایل های چند رسانه ای

علی عبد سعدون العمیری و محمدحسن شیرعلی شهرضا

شهریور 1396

یک چارچوب چند منبعی فرا سازگاربرای اصلاح باور

شهاب ابراهیمی

دی 1395

تشخیص سلولهای سرطانی با استفاده از تکنیکهای پردازش تصویر و یادگیری ماشین

عباس اسلامی و محمدابراهیم شیری احمدآبادی

تیر 1395

کشف کنترل پذیری در شبکه های زیستی

فربد فرهور و فاطمه زارع میرک آباد

بهمن 1394

رویکرد متاهیوریستیک برای حل مسیریابی وسایل نقلیه به کمک پنجره زمانی

فهیمه یارمحمدی و محمدابراهیم شیری احمدآبادی

بهمن 1394

پیشگویی تاخوردگی اجماع در یک مجموعه از توالی های آر ان ای غیر متوازن

محمدرضا واحدی و فاطمه زارع میرک آباد

بهمن 1394

استفاده از روش نمونه مورچگان اصلاح شده برای مسئله مسیریابی تعمیم یافته

محمدحسین نویدادهم

بهمن 1393

تشخیص اشیاء با استفاده از مکانیسم سیستم بینایی مغز

لیدا صباغ زاده قمی و محمدابراهیم شیری احمدآبادی

بهمن 1393

ارائه الگوریتم های اجتماع مورچگان و زنبور عسل برای مسائل بهینه سازی مقید با استفاده از لاگرانژ افزوده

اصغر مهدوی و محمدابراهیم شیری احمدآبادی

مهر 1393

ارائه الگوریتم های اجتماع مورچگان و زنبور عسل برای مسائل بهینه سازی مقید با استفاده از لاگرانژ افزوده

اصغر مهدوی و محمدابراهیم شیری احمدآبادی

مهر 1393

الگوریتم جهان های موازی : یک رویکرد فرا اکتشاقی برای حل مسئله VRP

علی رضا اکبری بیات

مهر 1393

تشخیص اشیاء چند کلاسه با واژه نامه عمومی از ویژگی های بینایی

زهرا دارایی باف و محمدابراهیم شیری احمدآبادی

مهر 1393

پوشش زیرمجموعه های مجموعه اعداد طبیعی توسط مجموعه های محاسبه پذیر و محاسبه پذیر شمارشی

محسن منصوری

آبان 1392

طراحی IDS بوسیله نظریه بازی ها و یادگیری ماشین

محمدهادی علی اکبر

آبان 1392

نهان کاوی کور از تصاویر

زهرا طاهری

مهر 1392

پنهان نگاری در تصویر با استفاده از تبدیلات مالتی رزولوشن

ریحانه حیدرزاده ریزی

مهر 1392

تحلیل مسیریابی وسایل نقلیه دارای پنجره زمانی با استفاده از الگوریتم ژنتیک اصلاح

مهدی بهزادی منش

مهر 1392

توسعه چند الگوریتم فرا ابتکاری برای مسئله درخت فراگیر با کمترین هزینه مسیر یابی

ستار ستاری

بهمن 1391

بهبود کارآیی یادگیری تقویتی با استفاده از تکنیک های یادگیری ماشین

علی علیزاده منصوری و محمدابراهیم شیری احمدآبادی

بهمن 1391

احراز هویت اشخاص با بهره گیری از بایومتریک چهره

زهرا شجاعی

آبان 1391

خوشه بندی گراف بر اساس مدل آمیخته

راحله نماینده

آبان 1391

الگوریتم های پیش بینی ژن

یوسف صیفاری

آبان 1390

ساده ساز ی متن با استفاده از استخراج هستی شناسی و تشخیص الگو

نعیم پاییده و محمدابراهیم شیری احمدآبادی

آبان 1390

بررسی الگوریتم های پیدا کردن موتیف در توالی های زیستی

دلارام پودیی

آبان 1390

استفاده از زیست سنج چهره برای تشخیص هویت افراد

زینب حاجی محمدی و محمدابراهیم شیری احمدآبادی

مهر 1390

بازی های رقابتی در سیستم های چند عامله

اصغر حقی

مهر 1390

مدل سازی مبتنی بر عامل برای رفتار جمعی در سیستم های پیچیده

دانیال قارونی فرد

اسفند 1389

بررسی ترتیب تولید در مجموعه های طبیعی وحقیقی

سعید اسعیدی

آذر 1389

مهارت آموزی عامل های هوشمند در یادگیری تقویتی سلسله مراتبی در محیط گسسته نیمه- مارکف

فرهاد سروری و محمدابراهیم شیری احمدآبادی

آذر 1389

پیش بینی ساختار سوم پروتئین به کمک خصوصیات هندسی

لیلا قنبری ممان

بهمن 1388

تشخیص هویت با استفاده از بایومتریک صورت

رقیه عالمی و محمدابراهیم شیری احمدآبادی

آذر 1388

ارائه یک فرمول بندی از یادگیری محتوا وبررسی جامعیت آن در مدلهای آماری و محاسباتی

محمدرضا ابوالقاسمی دهاقانی

آذر 1388

تحلیل روش weihrauch درآنالیز محاسباتی

علی اکبر صفی لیان

آبان 1388

طراحی مدلی برای مدیریت موجودی درسیستم های توزیع چند کاناله زنجیره تامین به وسیله تئوری بازی

مهتاب السادات حسینی نیا و میر مهدی سیداصفهانی

بهمن 1387

پیچیدگی اثبات

شرر احمدی

شهریور 1387

مسائل طراحی مکانیزم و تعیین برنده در حراجیهای ترکیبیاتی از نگاه نظریه بازیهای الگوریتمی

احسان ایرانمنش

مرداد 1387

بررسی نظریه سیستمهای دینامیکی و نظریه اندازه بااستفاده از نظریه دامنه

عاطفه کشاورزی زفرقندی و مسعود پورمهدیان

آبان 1386

مسیریلبی حرکت بااستفاده از ترکیب رویت پذیری - ورونوی

ابوالفضل پورعیدی و علی محدث خراسانی

مهر 1386

تحویل پذیری های غیر یکنواخت در زمان فازی

ایلیا الماسی

خرداد 1405

مقالات مجلات

Didehvar Farzad, "Fixed fleet open vehicle routing problem: Mathematical model and a modified ant colony optimization", Bulletin of The Polish Academy of Sciences-Technical Sciences, vol. 72, no. 1, pp.1-10, 2025.

YOUSEFI KHOSHBAKHT MAJID ، Didehvar Farzad ، RAHMATI FARHAD ، Zakir Hussain AHMED, "Fixed fleet open vehicle routing problem: Mathematical model and a modified an colony optimization", Bulletin of The Polish Academy of Sciences-Technical Sciences, vol. 72, no. 1, pp.1-10, 2024.

FALLAHESLAMLOO HANIYEH ، Didehvar Farzad ، RAHMATI FARHAD, "An approximation algorithm for the balanced capacitated minimum spanning tree problem", Scientia Iranica, vol. 0, no. 0, , 2020.

FALLAHESLAMLOO HANIYEH ، Didehvar Farzad ، RAHMATI FARHAD, "Approximation Algorithms for the Load-Balanced Capacitated Vehicle Routing Problem", Bulletin of The Iranian Mathematical Society, vol. -, no. 0, , 2020.

Didehvar Farzad ، ASAEEDI SAEED, "NLP Formulation for Polygon Optimization Problems", Mathematics, vol. 7, no. 1, pp.1-25, 2018.

ASAEEDI SAEED ، Didehvar Farzad ، Mohades Khorasani Ali, "NLP Formulation for Polygon Optimization Problems", Mathematics, vol. (1)7, no. 24, pp.1-25, 2018.

Didehvar Farzad, "NLP Formulation for Polygon Optimization Problems", Mathematics, vol. 7, no. 1, pp.1-25, 2018.

GHAHREMANI GOL HAJAR ، Didehvar Farzad ، Asadollah Razavi, "A Distance Function for Computing on Finite Subsets of Euclidean Spaces", Acta Mathematicae Applicatae Sinica-English Series, vol. 34, no. 1, pp.197-208, 2018.

ASAEEDI SAEED ، Didehvar Farzad ، Mohades Khorasani Ali, "?-Concave hull, a generalization of convex hull", Theoretical Computer Science, vol. 702, no. 1, pp.48-59, 2017.

GHAHREMANI GOL HAJAR ، assadolah razavi ، Didehvar Farzad, "On Intrinsic Properties of Ricci Flow Curve", Iranian Journal of Science & Technology, vol. 41, no. 1, pp.237-241, 2017.

KHODAKARAMI FARNOOSH ، Didehvar Farzad ، Mohades Khorasani Ali, "1.5D terrain guarding problem parameterized by guard range", Theoretical Computer Science, vol. 661, no. 0, pp.65-69, 2017.

SEYFARI YOUSEF ، Didehvar Farzad ، Hadi Banaee ، ZARE MIRAKABAD FATEMEH, "Evaluating the accuracy of splice site prediction based on integrating Jensen-Shannon divergence and a polynomial equation of order 2", International Journal of Computer Applications, vol. 151, no. 5, pp.1-5, 2016.

Majid Yousefi Khoshbakht ، Azam Dolatnejad ، Didehvar Farzad ، RAHMATI FARHAD, "A Modified Column Generation to Solve the Heteregoneous Fixed Fleet Open Vehicle Routing Problem", Journal of Engineering, vol. 0, no. 0, pp.1-13, 2016.

GHAHREMANI GOL HAJAR ، Didehvar Farzad ، RAZAVI ASADOLLAH, "Vehicle routing problem for minimizing consumption of energy in three dimensional space", Kuwait Journal of Science, vol. 43, no. 2, pp.139-150, 2016.

GHAHREMANI GOL HAJAR ، ASADOLLAH RAZAVI ، Didehvar Farzad, "On Intrinsic Properties of Ricci Flow Curve", Iranian Journal of Science and Technology, vol. , no. 1, pp.1-1, 2016.

POURMAHDIAN MASOUD ، Nazanin Roshandel Tavana ، Didehvar Farzad, "Effective metric model theory", Mathematical Structures In Computer Science, vol. 25, no. 8, pp.1779-1798, 2015.

POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN ، Didehvar Farzad, "Effective metric model theory", Mathematical Structures In Computer Science, vol. 25, no. 8, pp.1779-1798, 2015.

Majid Yusefi Khoshbakht ، Didehvar Farzad ، RAHMATI FARHAD, "A Mixed Integer Programming Formulation for the Heterogeneous Fixed Fleet Open Vehicle Routing Problem", Journal of Optimization In Industrial Engineering, vol. 8, no. 18, pp.37-46, 2015.

KHODAKARAMI FARNOOSH ، Didehvar Farzad ، Mohades Khorasani Ali, "A fixed-parameter algorithm for guarding 1.5D terrains", Theoretical Computer Science, vol. 595, no. 1, pp.130-142, 2015.

Ebrahim Zarei Zefreh ، Didehvar Farzad ، Nasrin Nasrabadi, "A Hybrid Iterative Algorithm For Reconstruction Of X-Ray Computed Tomography", Malaysian Journal of Computer Science, vol. 28, no. 1, pp.46-58, 2015.

YOUSEFI KHOSHBAKHT MAJID ، Didehvar Farzad ، RAHMATI FARHAD ، DOLATNEZHADSOMARIN AZAM, "An Optimization Algorithm Based on Rank Ant System for the Vehicle Routing Problem with Simultaneous Pickup and Delivery", , vol. 24, no. 94, pp.11-31, 2015.

Majid Yousefi Khoshbakht ، Didehvar Farzad ، RAHMATI FARHAD, "A Mixed Integer Programming Formulation for the Heterogeneous Fixed Fleet Open Vehicle Routing Problem", Journal of Optimization In Industrial Engineering, vol. 8, no. 19, pp.15-25, 2015.

YOUSEFI KHOSHBAKHT MAJID ، Didehvar Farzad ، RAHMATI FARHAD, "An Effective Rank Based Ant System Algorithm for Solving the Balanced Vehicle Routing Problem", International Journal of Industrial Engineering-Theory Applications and Practice, vol. 23, no. 1, pp.45-55, 2015.

SATTARI SATTAR ، Didehvar Farzad, "A Metaheuristic Algorithm for the Minimum Routing Cost Spanning Tree Problem", Iranian Journal of Operations Research, vol. 6, no. 1, pp.65-78, 2015.

SATTARI SATTAR ، Didehvar Farzad, "A Metaheuristic Algorithm for the Minimum Routing Cost Spanning Tree Problem", Iranian Journal of Operations Research, vol. 1, no. 11, pp.1-10, 2014.

Ebrahim Zarei Zefreh ، Didehvar Farzad ، Ali Rajaei, "Accelerated Iterative Algorithms in Reconstruction of Computerized Tomography Images", International Journal of Engineering and Technology(Uae), vol. 2, no. 2, pp.146-158, 2014.

YOUSEFI KHOSHBAKHT MAJID ، Didehvar Farzad ، RAHMATI FARHAD, "An Efficient Solution for the Vehicle Routing Problem by Using a Hybrid Elite Ant System", International Journal of Computers Communications & Control, vol. 9, no. 3, pp.340-347, 2014.

SATTARI SATTAR ، Didehvar Farzad, "Variable Neighborhood Search Approach for the Minimum Routing Cost Spanning Tree Problem", International Journal of Operations Research, vol. 10, no. 4, pp.153-160, 2014.

Mohammad Sedighpour ، YOUSEFI KHOSHBAKHT MAJID ، Vahid Ahmadi ، Didehvar Farzad ، RAHMATI FARHAD, "Solving the Open Vehicle Routing Problem by a Modified Ant Colony Optimization", Kuwait Journal of Science and Engineering, vol. 40, no. 3, pp.12-32, 2013.

YOUSEFI KHOSHBAKHT MAJID ، Didehvar Farzad ، RAHMATI FARHAD, "An Improved Elite Ant System for Heterogeneous Fixed Fleet Open Vehicle Routing Problem", Promet-Traffic and Transportation, vol. 26, no. 1, pp.39-56, 2013.

YOUSEFI KHOSHBAKHT MAJID ، Didehvar Farzad ، RAHMATI FARHAD, "A Combination of Modified Tabu Search and Elite Ant System to Solve the Vehicle Routing Problem with Simultaneous Pickup and Delivery", Journal of The Chinese Institute of Engineers, vol. 31, no. 2, pp.20-38, 2013.

ASAEEDI SAEED ، Didehvar Farzad ، Aliakbar Safilian, "Enumeration Order Equivalence in Rational Numbers", Computer Technology and Application, vol. 4, no. 11, pp.615-619, 2013.

YOUSEFI KHOSHBAKHT MAJID ، Didehvar Farzad ، RAHMATI FARHAD, "Solving the heterogeneous fixed fleet open vehicle routing problem by a combined metaheuristic algorithm", International Journal of Production Research, vol. 51, no. 24, pp.1-11, 2013.

YOUSEFI KHOSHBAKHT MAJID ، Didehvar Farzad ، RAHMATI FARHAD, "Modification of the Ant Colony Optimization for Solving the Multiple Traveling Salesman Problem", Romanian Journal of Information Science and Technology, vol. 16, no. 1, pp.25-40, 2013.

Shahrood Azami ، YOUSEFI KHOSHBAKHT MAJID ، Didehvar Farzad ، RAHMATI FARHAD, "An Ant Colony algorithm hybridized with insert and swap heuristics for the Vehicle Routing Problem with Time Windows", , vol. 9, no. 4, pp.15-30, 2013.

YOUSEFI KHOSHBAKHT MAJID ، Didehvar Farzad ، RAHMATI FARHAD, "An Improved Modified Tabu Search Algorithm to Solve the Vehicle Routing Problem with Simultaneous Pickup and Delivery", Journal of Advances In Computer Research, vol. 3, no. 4, pp.55-66, 2013.

YOUSEFI KHOSHBAKHT MAJID ، Didehvar Farzad ، RAHMATI FARHAD, "Modification of the Elite Ant System in Order to Avoid Local Optimum Points in the Traveling Salesman Problem", Wulfenia, vol. 19, no. 9, pp.181-195, 2012.

YOUSEFI KHOSHBAKHT MAJID ، Didehvar Farzad ، RAHMATI FARHAD, "A Hybrid Ant Colony System for the Heterogeneous Fleet Vehicle Routing Problem", , vol. 9, no. 2, pp.191-207, 2012.

HOSEINI NIA MAHTAB SADAT ، SEYED ESFAHANI MIRMEHDI ، Didehvar Farzad ، HAGHI ASGHAR, "Inventory competition in a multi channel distribution system: The Nash and Stackelberg game", Scientia Iranica, vol. 20, no. 3, pp.846-854, 2012.

Didehvar Farzad ، M. Yousefikhoshbakht ، RAHMATI FARHAD ، M. Sedighpour, "An Effective Imperialist Competitive Algorithm for Solving the Open Vehicle Routing Problem", , vol. 9, no. 1, pp.20-34, 2012.

ALAMI ROGHAYEH ، SHIRI AHMAD ABADY MOHAMMAD EBRAHIM ، Didehvar Farzad ، HAJIMOHAMMADI ZEINAB, "NEW FACIAL FEATURE LOCALIZATION ALGORITHM USING ADAPTIVE ACTIVE SHAPE MODEL", International Journal of Pattern Recognition and Artificial Intelligence, vol. 26, no. 1, , 2012.

ROSHANDEL TAVANA NAZANIN ، POURMAHDIAN MASOUD ، Didehvar Farzad, "Compactness in first order Lukasiewicz logic", Logic Journal of The Igpl, vol. 20, no. 1, pp.254-265, 2012.

Majid Yousefikhoshbakht ، Didehvar Farzad ، RAHMATI FARHAD, "Application a Modified Imperialist Competitive Algorithm for Solving the Traveling Salesman Problem", , vol. 1, no. 2, pp.29-49, 2012.

ROSHANDEL NAZANIN ، POURMAHDIAN MASOUD ، Didehvar Farzad, "Compactness in First Order Lukasiewicz Logic", Logic Journal of The Igpl, vol. 0, no. 0, , 2011.

Didehvar Farzad ، POURMAHDIAN MASOUD, "Effectiveness in RPL, with applications to continuous logic", Annals of Pure and Applied Logic, vol. 0, no. 0, , 2010.

Didehvar Farzad ، Kaveh ghasemlou ، POURMAHDIAN MASOUD, "Effectiveness in RPL, with applications to continuous logic", Annals of Pure and Applied Logic, vol. 161, no. 6, pp.788-799, 2010.

Didehvar Farzad ، Ali Mehrabi ، Fatemeh Raee, "On Unique Independence Weighted Graphs", International Journal of Contemporary Mathematical Sciences, vol. 1, no. 531, pp.257-264, 2009.

Didehvar Farzad ، Changiz Eslahchi, "An algorithm for rank aggregation problem", Applied Mathematics and Computation, vol. 189, no. 1, pp.1847-1858, 2007.

shahriar Arab ، Didehvar Farzad ، Changiz Eslahchi ، Mahdi Sadeghi, "Helix segment assignment in proteins using fuzzy logic", Iranian Journal of Biotechnology, vol. 5, no. 2, pp.93-99, 2007.

Didehvar Farzad, "On a Class of Recursively Enumarable Sets", Mathematical Logic Quarterly, vol. 45, no. 4, pp.467-470, 1999.

مقالات همایش‌ها

SHIRALI-SHAHREZA M.HASSAN ، AMIRI ROYANDAZAG MOJTABA ، Didehvar Farzad, "Big data face recognition using kernel sparse represention,", ect, Jul 2020.

Didehvar Farzad, "Fuzzy time, from paradox to paradox,", 50th ANNUAL IRANIAN MATHEMATICS CONFERENCE, Aug 2019.

Didehvar Farzad, "Is Classical Mathematics Appropriate for Theory of Computation? .,", https://www.uni-log.org/vichy2018, Jun 2018.

FALLAHESLAMLOO HANIYEH ، Didehvar Farzad ، RAHMATI FARHAD, "Approximation results for a Balanced CVRP,", 47th international conference of Iranian mathematics, Aug 2016.

FALLAHESLAMLOO HANIYEH ، Didehvar Farzad ، RAHMATI FARHAD, "An approximation algorithm for a heterogeneous capacitated vehicle routing problem,", 46th Iranian conference of mathematics, Aug 2015.

FALLAHESLAMLOO HANIYEH ، Didehvar Farzad ، RAHMATI FARHAD, "an approximation algorithm for a heterogeneous vehicle routing problem,", 46th Iranian conference of mathematics, Aug 2015.

NAVIDADHAM MOHAMMADHOSSEIN ، Arbabsadeghi Mostafa ، AKBARI BAYAT ALIREZA ، Didehvar Farzad, "Solving generalized vehicle routing problem by parallel universes and Tabu search,", International Conference on Computing, Communication and Network Technologies (ICCCNT), 2015 6TH, Jul 2015.

NAVIDADHAM MOHAMMADHOSSEIN ، Mostafa ArbabSadeghiGhomi ، AKBARI BAYAT ALIREZA ، Didehvar Farzad, "Solving generalized vehicle routing problem by parallel universes and tabu search,", The Sixth International Conference on Computing, Communications and Networking Technologies (ICCCNT), Jul 2015.

Didehvar Farzad, "A Semantic Situation without Syntax(Non-axiomatizibility of Theories),", 5th World Congress and School on Universal Logic, Jun 2015.

Didehvar Farzad, "(A semantic situation without syntax (non- axiomatizibility of some theories,", 5th World Congress and School on Universal Logic, Jun 2015.

KHODAKARAMI FARNOOSH ، Didehvar Farzad ، Mohades Khorasani Ali, "A Fixed Parameter Algorithm for Guarding 1.5D Terrains,", 23rd Eurpean Workshop on Compatational Geometry- EWCG 2012, Mar 2013.

SATTARI SATTAR ، Didehvar Farzad, "A Metaheuristic Algorithm for the Minimum Routing Cost Spanning Tree Problem,", In Proc. 2nd International Conference on Operations Research and Optimization, Tehran, Iran, 2013.In Proc. 2nd International Conference on Operations Research and Optimization, Tehran, Iran, 2013., Jan 2013.

ASGHAR HAGHI ، Didehvar Farzad ، SEYED ESFAHANI MIRMEHDI, "Finding Nash and Stackelberg Equilibrium for Warehouse Inventory in Supply Chain Managment,", 4th World Congress of the Game Theory Society, Aug 2012.

SAFILIAN ALI AKBAR ، Didehvar Farzad, "Two New reducibilities Based on Enumeration Orders,", Turing Centenary Conference CIE 2013, Jul 2012.

HAGHI ASGHAR ، Didehvar Farzad ، SEYED ESFAHANI MIRMEHDI, "Finding Nash and Stackelberg Equilibrium for Warehouse Inventory in Supply Chain Managment,", GAMES2012, Jul 2012.

Didehvar Farzad, "Theory of computation as time passes,", Mind,Logic and Computation, Jun 2012.

ASAEEDI SAEED ، Didehvar Farzad, "Enumeration order Complexity Equivalency,", Second World Conference on Information Technology WCIT 2011, Nov 2011.

Ebrahim Zarei Zefreh ، Didehvar Farzad, "Fast Convergence of Iteration Methods in Reconstruction of Computed Tomography Images,", 42th Conference of Iranian Mathematics, Sep 2011.

Didehvar Farzad, "http://www.irip.ir/,", (Philosophy Day in Iran(Logic and Philosophical Logic Tradition and Modern, Nov 2010.

ALAMI ROGHAYEH ، SHIRI AHMAD ABADY MOHAMMAD EBRAHIM ، Didehvar Farzad ، HAJIMOHAMMADI ZEINAB, "face recognition using local multi dimentional statistics,", international csi computerconferenc csicc09, Oct 2009.

، Didehvar Farzad ، Zarrin Minuchehr, "Elongation Factor, as a parameter for hydrophobicity of protein,", The 6th National Biotechnology Congress of Iran, Aug 2009.

Didehvar Farzad ، Ali Mehrabi ، Fatemeh Raei, "On Unique Independence Weighted Graphs,", Combinatorics and graphs : the twentieth anniversary conference of IPM, May 2009.

Didehvar Farzad, "Elongation vector as a parameter to recognise protein hydrophobicity,", The 6th National Biotechnology Congress of Iran, Apr 2009.

ROSHANDEL NAZANIN ، POURMAHDIAN MASOUD ، Didehvar Farzad, "K compactness in the first order fuzzy logics,", Aug 2008.

Didehvar Farzad, "Quantum Computing,", A Two-Day Seminar on Mathematical Logic, Jan 2006.

Didehvar Farzad ، Changiz Eslahchi, "Group Decision Making,", 19th British Combinatorial ConferenceUniversity of Wales, Jun 2003.

Mohammad Ardeshir ، Didehvar Farzad, "Rapid Elimination of Quantifiers,", LOGIC COLLOQUIUM 2002, Aug 2002.

Didehvar Farzad, "On the Information Content of Integers with respect to a Given Acceptable Enumeration of r.e. Sets,", LOGIC COLLOQUIUM 1997, Jul 1997.

دروس ارائه شده

عنوان درس

توصیف درس

سرفصل ها

دوره درسی

Theory of Computation

4051

Computer Prog.

4051

Computer Prog.

4042

Theory of Computation

4042

Special Topics in Theory of Computing

4042

Advanced Theory of Computation

4041

Introduction to Logic & Set Theory

4041

Computer Prog.

4041

Introduction to the Theory of Computation

4032

Computational Complexity

4032

Computer Prog.

4032